APPLICATION AND VERIFICATION USING A MODEL HOUSE
نویسندگان
چکیده
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملautomatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولA Universal Capillary Pressure Model: Verification and Application
Abstract A universal capillary pressure model developed from fractal modeling of a porous medium was verified using the experimental data of capillary pressure curves of rock samples from The Geysers geothermal field. The capillary pressure curves were measured using a mercury intrusion technique. The results showed that the universal model could represent the capillary pressure curves of The G...
متن کاملVerification of a Quality Management Theory: Using a Delphi Study
Background A model of quality management called Strategic Collaborative Quality Management (SCQM) model was developed based on the quality management literature review, the findings of a survey on quality management assessment in healthcare organisations, semi-structured interviews with healthcare stakeholders, and a Delphi study on healthcare quality management experts. The purpose of this stu...
متن کاملApplication of Wavelet Transform as a Signal Processing Method for Defect Detection using Lamb Waves: Experimental Verification
A Lamb wave-based crack detection method for aluminum plates health monitoring is developed in this paper. Piezoelectric disks are employed to actuate and capture the Lamb wave signals. The position of crack is assumed to be aligned with the sensor and actuator. Extraction of high quality experimental results of lamb wave propagation in a plate-like structure is considerably complicated due to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Environmental Engineering (Transactions of AIJ)
سال: 2019
ISSN: 1348-0685,1881-817X
DOI: 10.3130/aije.84.507